lft to do.


r1 -> ip (jmp)

ip inc -> ip


mem -> r1

const -> r1

r1 -> r.x


r1 . r2 -> r1



